Generation of Efficient Virtual Machine ( Extended Abstract )
نویسندگان
چکیده
TokyoTech Virtual Machine Builder (VMB) is a generator of virtual machines. VMB takes a formal specification of a virtual machine and generates implementation of the virtual machine. A specification of a virtual machine comprises configuration of virtual hardware (a set of virtual registers, virtual stacks, and heap organization) and definition of virtual machine instruction set. Behavior of each virtual machine instruction in the instruction set is given in terms of machine state transition system. Virtual machine builder has been used to generate virtual machines for a couple of programming languages which include ML, Scheme, and a subset of Java. Execution efficiency of the generated virtual machine is nearly the same as a carefully implemented human-crafted virtual machine.
منابع مشابه
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
We present the first symbolic execution and automatic test generation tool for C++ programs. First we describe our effort in extending an existing symbolic execution tool for C programs to handle C++ programs. We then show how we made this tool generic, efficient and usable to handle real-life industrial applications. Novel features include extended symbolic virtual machine, library optimizatio...
متن کاملA Practical Mobile-Code Format with Linear Verification Effort
We present an abstract machine that encodes both type safety and control safety in an efficient manner and that is suitable as a mobile-code format. At the code consumer, a single linear-complexity algorithm performs not only verification, but simultaneously also transforms the stack-based wire format into a register-based internal format. The latter is beneficial for interpretation and native ...
متن کاملIntegration of Vision Based Image Processing for Multi-axis Cnc Machine Tool Safe and Efficient Trajectory Generation and Collision Avoidance
Demand of high speed production not only increases the complexity of today’s CNC process, but also increases the risks and possibility of collision because of the difference between real (machining) and virtual scenes (CAD/CAM process). Idea here is to make this process more intelligent by processing image taken from the real or virtual machine scenes. Identify objects (already known in the CAD...
متن کاملEfficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract
Java Virtual Machine (JVM) code (also called bytecode) [11] can be downloaded by untrusted sources and executed directly. A component of the Java security model is the Java bytecode Verifier, which makes sure that the bytecode is safe by static analysis at loading time and prior to execution. The bytecode Verifier checks type correctness, stack overflow or underflow, code containment, registers...
متن کاملA version numbering scheme for informational objects used in VM live migration
Various numbering schemes are used to track different versions and revisions of files, software packages, and documents. One major challenge in this regard is the lack of an all-purpose, adaptive, comprehensive and efficient standard. To resolve the challenge, this article presents Quadruple Adaptive Version Numbering Scheme. In the proposed scheme, the version identifier consists of four integ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002